\relax 
\citation{Mitchell82}
\citation{Mitchell82}
\citation{lavrac1}
\citation{Muggleton99inductivelogic}
\citation{Muggleton:2012:IT:2123932.2123939}
\citation{BergadanoGu95}
\citation{muggleton1}
\citation{Mitchell82}
\citation{UtgoffM82}
\citation{quinlan1}
\citation{Malerba01discoveringassociations}
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.1}Search Space}{1}}
\newlabel{seachspace}{{1.1}{1}}
\citation{Plotkin70}
\citation{Shapiro91}
\citation{lavrac1}
\citation{quinlan1}
\citation{BottaG93}
\citation{MalerbaESC97}
\citation{Blockeel97lookaheadand}
\citation{Shapiro91}
\citation{lavrac1}
\citation{Muggleton90efficientinduction}
\citation{Plotkin70}
\citation{Muggleton88astrategy}
\citation{MuggletonB88}
\citation{quinlan1}
\citation{dze:msc91}
\citation{cart84}
\citation{Lavrac99ruleevaluation}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces Search space can be view as a lattice\relax }}{2}}
\providecommand*\caption@xref[2]{\@setref\relax\@undefined{#1}}
\newlabel{fig:lattice}{{1}{2}}
\newlabel{subsumption}{{1.2}{2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.2}Search Strategy}{2}}
\newlabel{searchstrategy}{{1.2}{2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.3}Search Heuristic}{2}}
\newlabel{searchheuristic}{{1.3}{2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.4}Problematic}{2}}
\newlabel{problematic}{{1.4}{2}}
\newlabel{clauseage1}{{1}{2}}
\citation{YangWW05}
\citation{FayyadI93}
\citation{Srihari:1986:DIU:324493.324550}
\citation{MalerbaESC97}
\newlabel{clauseage2}{{2}{3}}
\@writefile{toc}{\contentsline {section}{\numberline {2}Discretization in ILP}{3}}
\newlabel{discretization}{{2}{3}}
\newlabel{mdlp}{{2}{3}}
\newlabel{entropy}{{3}{3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}INDUBI/CSL}{3}}
\citation{10.1109/TPAMI.1980.4767034}
\citation{Ferilli02efficienttheta-subsumption}
\citation{Furnkranz:1999:SRL:309283.309291}
\citation{Blockeel97lookaheadand}
\citation{Blockeel98top-downinduction}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.1.1}Logic language $VL_{21}$}{4}}
\newlabel{vllanguage}{{2.1.1}{4}}
\newlabel{descriptor}{{5}{4}}
\newlabel{vlclauses}{{6}{4}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.1.2}Specialization with a numerical selector}{4}}
\newlabel{indubimethod}{{2.1.2}{4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}TILDE and ICL}{4}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.2.1}TILDE}{4}}
\newlabel{tilde}{{2.2.1}{4}}
\citation{Laer96multi-classproblems}
\citation{Raedt95inductiveconstraint}
\citation{FayyadI93}
\citation{ace1}
\citation{omt1}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.2.2}ICL}{5}}
\newlabel{icl}{{2.2.2}{5}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.2.3}Discretization in TILDE/ICL}{5}}
\newlabel{discretization1}{{7}{5}}
\newlabel{discretization2}{{8}{5}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.3}Multivalue learning in ILP {\it  (MVL-ILP)}}{5}}
\citation{quest1}
\citation{cruise1}
\citation{gnanadesikan1997methods}
\citation{Macqueen67somemethods}
\citation{friedman1}
\citation{prolog2}
\citation{JaffarL87}
\@writefile{toc}{\contentsline {section}{\numberline {3}Constraint logic programming in ILP}{6}}
\newlabel{clp}{{3}{6}}
\citation{Anthony97generatingnumerical}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}NUM algorithm}{7}}
\citation{JaffarMSY92}
\citation{conf/ismis/ZhengLJZ03}
\citation{devyver1982pattern}
\citation{Holland:1975}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2}BPU-CILP system}{8}}
\newlabel{bpu_heuristic}{{10}{8}}
\newlabel{bpu_inequation1}{{11}{8}}
\newlabel{bpu_inequation2}{{12}{8}}
\@writefile{toc}{\contentsline {section}{\numberline {4}Genetic Algorithms in ILP}{8}}
\newlabel{geneticalgorithms}{{4}{8}}
\citation{divina:2002:gecco}
\citation{Augier95learningfirst}
\citation{BottaG93}
\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces prototype-based partitional clustering method in BPU-CILP\relax }}{9}}
\newlabel{BPUclustering}{{2}{9}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1}SIA01}{9}}
\newlabel{sia01}{{4.1}{9}}
\newlabel{fig:cromosoma1}{{\caption@xref {fig:cromosoma1}{ on input line 2046}}{9}}
\newlabel{fig:cromosoma2}{{\caption@xref {fig:cromosoma2}{ on input line 2059}}{9}}
\newlabel{fig:cromosoma3}{{\caption@xref {fig:cromosoma3}{ on input line 2071}}{9}}
\newlabel{fig:cromosoma4}{{\caption@xref {fig:cromosoma4}{ on input line 2079}}{9}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2}SMART+}{9}}
\newlabel{smart}{{4.2}{9}}
\citation{Goldberg:1989:GAS:534133}
\citation{DivinaM05}
\newlabel{smart1}{{13}{10}}
\newlabel{smart2}{{14}{10}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3}Approaches based on the ECL system}{10}}
\newlabel{eclbased}{{4.3}{10}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.3.1}Evolutionary Concept Learning}{10}}
\newlabel{ecl}{{4.3.1}{10}}
\citation{Dempster77maximumlikelihood}
\citation{DivinaM05}
\citation{FayyadI93}
\@writefile{lof}{\contentsline {figure}{\numberline {3}{\ignorespaces Algorithm ECL\relax }}{11}}
\newlabel{algorithmecl}{{3}{11}}
\newlabel{fig:cromosoma_ecl}{{\caption@xref {fig:cromosoma_ecl}{ on input line 2303}}{11}}
\@writefile{lot}{\contentsline {table}{\numberline {1}{\ignorespaces Operators with an associated number of mutation possibilities.\relax }}{11}}
\newlabel{mutationposibilities}{{1}{11}}
\newlabel{gainecl}{{15}{11}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.3.2}ECL-LUD}{11}}
\newlabel{ecllud}{{4.3.2}{11}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.3.3}ECL-LSDf and ECL-LSDc}{11}}
\newlabel{lsdf}{{4.3.3}{11}}
\citation{knobbe1}
\citation{knobbe1}
\citation{Lavrac:1991:LND:645322.649501}
\citation{Lavrac:1991:LND:645322.649501}
\citation{KrogelEtAl:2003}
\citation{DBLP:conf/ilp/JelaliBL12}
\@writefile{toc}{\contentsline {section}{\numberline {5}Propositionalization}{12}}
\newlabel{propositionalization}{{5}{12}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.1}LINUS and its extensions}{12}}
\@writefile{lot}{\contentsline {table}{\numberline {2}{\ignorespaces Relational problem that will be transformed into a propositional form.\relax }}{12}}
\newlabel{tab:linus1}{{2}{12}}
\@writefile{lot}{\contentsline {table}{\numberline {3}{\ignorespaces Propositional problem.\relax }}{12}}
\newlabel{tab:linus2}{{3}{12}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2}Cardinalisation}{12}}
\citation{omt1}
\bibstyle{siam}
\bibdata{biblio}
\bibcite{Anthony97generatingnumerical}{1}
\bibcite{Augier95learningfirst}{2}
\@writefile{lof}{\contentsline {figure}{\numberline {4}{\ignorespaces Relational data base with two tables\relax }}{13}}
\newlabel{fig:database}{{4}{13}}
\@writefile{toc}{\contentsline {section}{\numberline {6}Conclusions and Further Research}{13}}
\newlabel{conclusions}{{6}{13}}
\@writefile{toc}{\contentsline {section}{References}{13}}
\bibcite{BergadanoGu95}{3}
\bibcite{ace1}{4}
\bibcite{Blockeel97lookaheadand}{5}
\bibcite{Blockeel98top-downinduction}{6}
\bibcite{BottaG93}{7}
\bibcite{prolog2}{8}
\bibcite{cart84}{9}
\bibcite{Dempster77maximumlikelihood}{10}
\bibcite{devyver1982pattern}{11}
\bibcite{divina:2002:gecco}{12}
\bibcite{DivinaM05}{13}
\bibcite{dze:msc91}{14}
\bibcite{FayyadI93}{15}
\bibcite{Ferilli02efficienttheta-subsumption}{16}
\bibcite{friedman1}{17}
\bibcite{Furnkranz:1999:SRL:309283.309291}{18}
\bibcite{gnanadesikan1997methods}{19}
\bibcite{Goldberg:1989:GAS:534133}{20}
\bibcite{Holland:1975}{21}
\bibcite{JaffarL87}{22}
\bibcite{JaffarMSY92}{23}
\bibcite{DBLP:conf/ilp/JelaliBL12}{24}
\bibcite{cruise1}{25}
\bibcite{knobbe1}{26}
\bibcite{KrogelEtAl:2003}{27}
\bibcite{Laer96multi-classproblems}{28}
\bibcite{lavrac1}{29}
\bibcite{Lavrac:1991:LND:645322.649501}{30}
\bibcite{Lavrac99ruleevaluation}{31}
\bibcite{quest1}{32}
\bibcite{Macqueen67somemethods}{33}
\bibcite{MalerbaESC97}{34}
\bibcite{Malerba01discoveringassociations}{35}
\bibcite{10.1109/TPAMI.1980.4767034}{36}
\bibcite{Mitchell82}{37}
\bibcite{omt1}{38}
\bibcite{Muggleton88astrategy}{39}
\bibcite{Muggleton99inductivelogic}{40}
\bibcite{MuggletonB88}{41}
\bibcite{Muggleton90efficientinduction}{42}
\bibcite{Muggleton:2012:IT:2123932.2123939}{43}
\bibcite{muggleton1}{44}
\bibcite{Plotkin70}{45}
\bibcite{quinlan1}{46}
\bibcite{Raedt95inductiveconstraint}{47}
\bibcite{Shapiro91}{48}
\bibcite{Srihari:1986:DIU:324493.324550}{49}
\bibcite{UtgoffM82}{50}
\bibcite{YangWW05}{51}
\bibcite{conf/ismis/ZhengLJZ03}{52}
